LeanSearch v2: Recuperación Global de Premisas para la Demostración de Teoremas en Lean 4
LeanSearch v2 ofrece recuperación global de premisas para demostraciones en Lean 4. Acelera tus pruebas con búsqueda inteligente de teoremas.
#asistente de pruebas